- universal formula language
- universal formula language DAT, IF universelle Formelsprache f (Rechner)
English-German dictionary of Electrical Engineering and Electronics. 2013.
universal formula language
Schlagen Sie auch in anderen Wörterbüchern nach:
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
Formula — For other senses of this word, see formula (disambiguation). In mathematics, a formula (plural: formulae[1] or formulas[1]) is an entity constructed using the symbols and formation rules of a given logical language. In science, a formula is a… … Wikipedia
Universal Intelligence — is a term used by some to describe what they see as organization, or order of the universe. It has been described as the intrinsic tendency for things to self organize and co evolve into ever more complex, intricately interwoven and mutually… … Wikipedia
Universal Studios — For the theme parks, see Universal Parks Resorts. Universal Studios Logo used since 1997 Type Subsidiary of NBCUniversal (a division of Comcast and General Electric) Industry … Wikipedia
Universal Primary Education — The second United Nations Millennium Development Goal is to achieve Universal Primary Education, more specifically, to “ensure that by 2015, children everywhere, boys and girls alike will be able to complete a full course of primary schooling.… … Wikipedia
English language — Language belonging to the Germanic languages branch of the Indo European language family, widely spoken on six continents. The primary language of the U.S., Britain, Canada, Australia, Ireland, New Zealand, and various Caribbean and Pacific… … Universalium
Formula editor — A typeset mathematical expression A formula editor is a name for a computer program that is used to typeset mathematical works or formulae. Formula editors typically serve two purposes: They allow word processing and publication of technical… … Wikipedia
Formula game — A formula game is an artificial game represented by a fully quantified Boolean formula. Players turns alternate and the space of possible moves is denoted by bound variables. If a variable is universally quantified, the formula following it has… … Wikipedia
Universal prescriptivism — Not to be confused with Linguistic prescription. Universal prescriptivism (often simply called prescriptivism) is the meta ethical view which claims that, rather than expressing propositions, ethical sentences function similarly to imperatives… … Wikipedia
Second language acquisition — is the process by which people learn a second language in addition to their native language(s). The term second language is used to describe the acquisition of any language after the acquisition of the mother tongue. The language to be learned is … Wikipedia
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
